Merge pull request #9543 from jefferyto/prometheus-fix-mips64-build
authorRosen Penev <[email protected]>
Thu, 25 Jul 2019 17:30:55 +0000 (10:30 -0700)
committerGitHub <[email protected]>
Thu, 25 Jul 2019 17:30:55 +0000 (10:30 -0700)
prometheus: Fix build for mips64/mips64el


Trivial merge